$\forall$$a$:$\mathbb{Z}$. GCD($a$;1;1)